Overlap, Inclusion, and Disjointness of Types

In KCL, the types number and array are certainly subtypes of common, since KCL does not extend the set of objects of these types.